Seminar 14032 Planning with Epistemic Goals
نویسندگان
چکیده
This report documents the outcomes of Dagstuhl Seminar 14032 “Planning with epistemic goals”. It brought together the communities of so far relatively separate research areas related to artificial intelligence and logic: automated planning on the one hand, and dynamic logics of interaction on the other. Significant overlap in motivation, theory and methods was discovered, and a good potential for cross fertilization became apparent. Seminar January 12–15, 2014 – http://www.dagstuhl.de/14032 1998 ACM Subject Classification F.4.1 Mathematical Logic
منابع مشابه
A Complete Epistemic Planner without the Epistemic Closed World Assumption
Planning with epistemic goals has received attention from both the dynamic logic and planning communities. In the single-agent case, under the epistemic closed-world assumption (ECWA), epistemic planning can be reduced to contingent planning. However, it is inappropriate to make the ECWA in some epistemic planning scenarios, for example, when the agent is not fully introspective, or when the ag...
متن کاملCooperative Epistemic Multi-Agent Planning for Implicit Coordination
Epistemic planning can be used for decision making in multi-agent situations with distributed knowledge and capabilities. Recently, Dynamic Epistemic Logic (DEL) has been shown to provide a very natural and expressive framework for epistemic planning. We extend the DEL-based epistemic planning framework to include perspective shifts, allowing us to define new notions of sequential and condition...
متن کاملDiagnostic Problem Solving via Planning with Ontic and Epistemic Goals
Diagnostic problem solving involves a myriad of reasoning tasks associated with the determination of diagnoses, the generation and execution of tests to discriminate diagnoses, and the determination and execution of actions to alleviate symptoms and/or their root causes. Fundamental to diagnostic problem solving is the need to reason about action and change. In this work we explore these myriad...
متن کاملRuntime Verification , Diagnosis , Planning and Control for Autonomous Systems — Dagstuhl Seminar —
From November 7 to 12, 2010, the Dagstuhl Seminar 10451 “Runtime Verification, Diagnosis, Planning and Control for Autonomous Systems” was held in Schloss Dagstuhl – Leibniz Center for Informatics. During the seminar, 35 participants presented their current research and discussed ongoing work and open problems. This executive summary provides an overview of the goals and topics of the seminar.
متن کاملPlanning in Multiagent Systems Dagstuhl Seminar
From the 9th of November to the 14th of November 2008 the Dagstuhl Seminar 08461 Planning in Multiagent Systems was held in Schloss Dagstuhl Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results an...
متن کامل